failure 47:
Requirement failed: {tgamma.05} If x is a negative integer a NaN shall be returned
| location |
| trace |
/var/opt/lsb/test/olver-core/2013-01-21_10-20-40/math_gamma_scenario.utz (math_gamma_scenario.utt), line 1540 |
| occurence |
| scenario |
math_gamma_scenario |
| specification function |
tgamma_spec() |
| parameter value |
CallContext context = [pid=14280,thr=b74976c0] |
| parameter value |
Unifloat * @x = (double) -5.0000000000000000e-01 (-0x.8000000000000000P0) |
| parameter value |
Unifloat * x = (double) -5.0000000000000000e-01 (-0x.8000000000000000P0) |
| parameter value |
ErrorCode * @errno = EOK |
| parameter value |
ErrorCode * errno = EOK |
| return value |
(Unifloat *) (double) -3.5449077018110313e+00 (-0x.E2DFC48DA77B4800P2) |
coverage
& branch |
C
X IS NEGATIVE |
| properties |
| REQ failed |
tgamma.05 |
| expected value |
(double) NaN |
| kind |
POSTCONDITION_FAILED |
similar known bug(s)
|
The tgamma(x) family of functions shall compute the mathematical gamma() function of x.
According to LSB, if x is a negative integer NaN shall be returned.
But on the target machine, the functions don't return NaN if the argument is negative.
|
|